home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group00a.txt / 000057_icon-group-sender _Mon Apr 10 10:15:07 2000.msg < prev    next >
Internet Message Format  |  2001-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.9.1a/8.9.1) id KAA11195
  4.     for icon-group-addresses; Mon, 10 Apr 2000 10:14:54 -0700 (MST)
  5. Message-Id: <200004101714.KAA11195@baskerville.CS.Arizona.EDU>
  6. Date: Mon, 10 Apr 2000 09:58:51 -0700
  7. From: Steve Wampler <swampler@noao.edu>
  8. X-Accept-Language: en
  9. To: "F.G. van DORP" <F.G.van.Dorp@digimedia.nl>,
  10.         icon-group <icon-group@optima.CS.Arizona.EDU>
  11. Subject: Re: Reversible assignment really reversible ?
  12. Errors-To: icon-group-errors@optima.CS.Arizona.EDU
  13. Status: RO
  14.  
  15. "F.G. van DORP" wrote:
  16. > 
  17. > # WINICON 9.3.1
  18. > 
  19. > procedure main()
  20. > local i1,i2,i3,j1,j2,k,a1,a2,a3
  21. > i1:=2
  22. > j1:=4
  23. > i2:=4; i3:=i2
  24. > j2:=2
  25. > k:=3
  26. > 
  27. > # co-exp creation & @ctivation not really necessary
  28. > a1:=create((i1 <- j1) > k)
  29. > a2:=create((i2 <- j2) > k)
  30. > a3:=create(((i2:=j2)|(i2:=i3)) > k)
  31. > 
  32. > write(@a3)
  33. > write("co-exp1: ",@a1)
  34. > write("nested1: ",((i1 <- j1) > k))
  35. > write("muteva1: ",((i1 <- j1) & (i1 > k)))
  36. > 
  37. > # the following set doesn't work, so is   <-
  38. > # really implemented or just an alias for :=  ?
  39. > write("co-exp2: ",@a2)
  40. > write("nested2: ",((i2 <- j2) > k))
  41. > write("muteva2: ",((i2 <- j2) & (i2 > k)))
  42. > 
  43. > end
  44.  
  45. Reversible assignment really works, but not as you're picturing its use.
  46. The assignment is reversible only so long as you're staying in the same
  47. evaluation context (w.r.t. success and failure).  That is, the assignment
  48. reverses ONLY if you backtrack into it.  Try the following:
  49.  
  50.    i1 := 0
  51.    every write("i1 is ", i1 <- 1 to 3)
  52.    write("i1 is now ", i1)
  53.  
  54. Also note that reversible assignment fails after it has reversed itself.
  55.  
  56. --
  57. Steve Wampler-  SOLIS Project, National Solar Observatory
  58. swampler@noao.edu
  59.